popupMenu: Fix a missed rename

this._activeMenu was changed to this.activeMenu, but this wasn't
updated by accident.

https://bugzilla.gnome.org/show_bug.cgi?id=695859

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index d65f03f21248ebd754574780a2f06e6d9ce5e231..3d2b4e60c1ff25fc5264300760b908b56255b0c1 100644 (file)
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -2086,7 +2086,7 @@ const PopupMenuManager = new Lang.Class({
     },
 
     removeMenu: function(menu) {
-        if (menu == this._activeMenu)
+        if (menu == this.activeMenu)
             this._closeMenu(menu);
 
         let position = this._findMenu(menu);